(declare-fun x () String)
(declare-fun y () String)
(declare-fun z () Int)
(assert (not (= (str.contains (str.++ "A" "A") x) (str.prefixof x (str.++ "A" "A")))))
(check-sat)
